# -*- mode: snippet -*-
# name: Proposition
# key: pr
# uuid: pr
# --
Proposition $1 : $2.
Proof.
$3
Qed.
